#include <stdio.h>

int main()
{
	fprintf(stdout, "1234");
	fprintf(stderr, "abcd");
}
